| Name | Format | # Files | Size | Date |
|---|---|---|---|---|
| manual_toc.html.z | GZip archive | 1 | 16KB | 1999-10-18 |
| manual.html.z | GZip archive | 1 | 445KB | 1999-10-18 |
| manual.texi.z | GZip archive | 1 | 422KB | 1999-10-18 |
| manual.txt.z | GZip archive | 1 | 402KB | 1999-10-18 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| manual.ps | Text File | 4 | 114b | 1999-10-18 |